/*
    Copyright 2004-2005 (c) by Aitor Viana Sanchez,
    University of Alcala,
    Computer Engineering Department.

    For further information, please visit http://atc1.aut.uah.es

    This software is provided under the terms of the GNU General Public v2
    Licence. A full copy of the GNU GPL is provided in the file COPYING
    found in the development root of ERCOS-RT on ERC-32.
*/

#ifndef BOARD_H_
#define BOARD_H_

#include <asm.h>
#include <context.h>
#include <cpu.h>
#include <cputypes.h>
#include <irq.h>
#include <psr.h>

#endif /*BOARD_H_*/


